Rotationally Invariant Circuits: Universality with the Exchange Interaction and Two Ancilla Qubits.

Universality of local unitary transformations is one of the cornerstones of quantum computing with many applications and implications that go beyond this field. However, it has recently been shown that this universality does not hold in the presence of continuous symmetries: generic symmetric unitaries on a composite system cannot be implemented, even approximately, using local symmetric unitaries on the subsystems. In this Letter, we show that, despite these constraints, any SU(2) rotationally invariant unitary can be realized with the Heisenberg exchange interaction, which is 2-local and rotationally invariant, provided that the system interacts with a pair of ancilla qubits. We also show that a single ancilla is not enough to achieve universality. Furthermore, we study qubit circuits formed from k-local rotationally invariant unitaries and fully characterize the constraints imposed by locality on the realizable unitaries. We also find an interpretation of these constraints in terms of the average energy of states with a fixed angular momentum.

Operational Interpretation of Quantum Fisher Information in Quantum Thermodynamics.

In the framework of quantum thermodynamics preparing a quantum system in a general state requires the consumption of two distinct resources, namely, work and energetic coherence. It has been shown that the work cost of preparing a quantum state is determined by its free energy. Considering a similar setting, here we determine the coherence cost of preparing a general state when there are no restrictions on work consumption. More precisely, the coherence cost is defined as the minimum rate of consumption of systems in a pure coherent state, that is needed to prepare copies of the desired system. We show that the coherence cost of any system is determined by its quantum Fisher information about the time parameter, hence introducing a new operational interpretation of this central quantity of quantum metrology. Our resource-theoretic approach also reveals a previously unnoticed connection between two fundamental properties of quantum Fisher information.

Quantum Algorithm for Petz Recovery Channels and Pretty Good Measurements.

The Petz recovery channel plays an important role in quantum information science as an operation that approximately reverses the effect of a quantum channel. The pretty good measurement is a special case of the Petz recovery channel, and it allows for near-optimal state discrimination. A hurdle to the experimental realization of these vaunted theoretical tools is the lack of a systematic and efficient method to implement them. This Letter sets out to rectify this lack: Using the recently developed tools of quantum singular value transformation and oblivious amplitude amplification, we provide a quantum algorithm to implement the Petz recovery channel when given the ability to perform the channel that one wishes to reverse. Moreover, we prove that, in some sense, our quantum algorithm's usage of the channel implementation cannot be improved by more than a quadratic factor. Our quantum algorithm also provides a procedure to perform pretty good measurements when given multiple copies of the states that one is trying to distinguish.

Coherence distillation machines are impossible in quantum thermodynamics.

The role of coherence in quantum thermodynamics has been extensively studied in the recent years and it is now well-understood that coherence between different energy eigenstates is a resource independent of other thermodynamics resources, such as work. A fundamental remaining open question is whether the laws of quantum mechanics and thermodynamics allow the existence of a coherence distillation machine, i.e., a machine that, by possibly consuming work, obtains pure coherent states from mixed states, at a nonzero rate. This is related to another fundamental question: Starting from many copies of noisy quantum clocks which are (approximately) synchronized with a reference clock, can one distill synchronized clocks in pure states, at a non-zero rate? Surprisingly, we find that the answer to both questions is negative for generic (full-rank) mixed states. However, at the same time, it is possible to distill a sub-linear number of pure coherent states with a vanishing error.

Emergent Prethermalization Signatures in Out-of-Time Ordered Correlations.

How a many-body quantum system thermalizes-or fails to do so-under its own interaction is a fundamental yet elusive concept. Here we demonstrate nuclear magnetic resonance observation of the emergence of prethermalization by measuring out-of-time ordered correlations. We exploit Hamiltonian engineering techniques to tune the strength of spin-spin interactions and of a transverse magnetic field in a spin chain system, as well as to invert the Hamiltonian sign to reveal out-of-time ordered correlations. At large fields, we observe an emergent conserved quantity due to prethermalization, which can be revealed by an early saturation of correlations. Our experiment not only demonstrates a new protocol to measure out-of-time ordered correlations, but also provides new insights in the study of quantum thermodynamics.

No-Broadcasting Theorem for Quantum Asymmetry and Coherence and a Trade-off Relation for Approximate Broadcasting.

Symmetries of both closed- and open-system dynamics imply many significant constraints. These generally have instantiations in both classical and quantum dynamics (Noether's theorem, for instance, applies to both sorts of dynamics). We here provide an example of such a constraint which has no counterpart for a classical system, that is, a uniquely quantum consequence of symmetric dynamics. Specifically, we demonstrate the impossibility of broadcasting asymmetry (symmetry breaking) relative to a continuous symmetry group, for bounded-size quantum systems. The no-go theorem states that if two initially uncorrelated systems interact by symmetric dynamics and asymmetry is created at one subsystem, then the asymmetry of the other subsystem must be reduced. We also find a quantitative relation describing the trade-off between the subsystems. These results cannot be understood in terms of additivity of asymmetry, because, as we show here, any faithful measure of asymmetry violates both subadditivity and superadditivity. Rather, they must be understood as a consequence of an (intrinsically quantum) information-disturbance principle. Our result also implies that if a bounded-size quantum reference frame for the symmetry group, or equivalently, a bounded-size reservoir of coherence (e.g., a clock with coherence between energy eigenstates in quantum thermodynamics) is used to implement any operation that is not symmetric, then the quantum state of the frame or reservoir is necessarily disturbed in an irreversible fashion, i.e., degraded.

Entropic Energy-Time Uncertainty Relation.

Energy-time uncertainty plays an important role in quantum foundations and technologies, and it was even discussed by the founders of quantum mechanics. However, standard approaches (e.g., Robertson's uncertainty relation) do not apply to energy-time uncertainty because, in general, there is no Hermitian operator associated with time. Following previous approaches, we quantify time uncertainty by how well one can read off the time from a quantum clock. We then use entropy to quantify the information-theoretic distinguishability of the various time states of the clock. Our main result is an entropic energy-time uncertainty relation for general time-independent Hamiltonians, stated for both the discrete-time and continuous-time cases. Our uncertainty relation is strong, in the sense that it allows for a quantum memory to help reduce the uncertainty, and this formulation leads us to reinterpret it as a bound on the relative entropy of asymmetry. Because of the operational relevance of entropy, we anticipate that our uncertainty relation will have information-processing applications.

Quantum majorization and a complete set of entropic conditions for quantum thermodynamics.

What does it mean for one quantum process to be more disordered than another? Interestingly, this apparently abstract question arises naturally in a wide range of areas such as information theory, thermodynamics, quantum reference frames, and the resource theory of asymmetry. Here we use a quantum-mechanical generalization of majorization to develop a framework for answering this question, in terms of single-shot entropies, or equivalently, in terms of semi-definite programs. We also investigate some of the applications of this framework, and remarkably find that, in the context of quantum thermodynamics it provides the first complete set of necessary and sufficient conditions for arbitrary quantum state transformations under thermodynamic processes, which rigorously accounts for quantum-mechanical properties, such as coherence. Our framework of generalized thermal processes extends thermal operations, and is based on natural physical principles, namely, energy conservation, the existence of equilibrium states, and the requirement that quantum coherence be accounted for thermodynamically.

Publisher's Note: Quantum Speed Limits for Leakage and Decoherence [Phys. Rev. Lett. 115, 210402 (2015)].

This corrects the article DOI: 10.1103/PhysRevLett.115.210402.

Quantum Speed Limits for Leakage and Decoherence.

We introduce state-independent, nonperturbative Hamiltonian quantum speed limits for population leakage and fidelity loss, for a gapped open system interacting with a reservoir. These results hold in the presence of initial correlations between the system and the reservoir, under the sole assumption that their interaction and its commutator with the reservoir Hamiltonian are norm bounded. The reservoir need not be thermal and can be time dependent. We study the significance of energy mismatch between the system and the local degrees of freedom of the reservoir that directly interact with the system. We demonstrate that, in general, by increasing the system gap we may reduce this energy mismatch, and, consequently, drive the system and the reservoir into resonance; this can accelerate fidelity loss, irrespective of the thermal properties or state of the reservoir. This implies that quantum error suppression strategies based on increasing the gap are not uniformly beneficial. Our speed limits also yield an elementary lower bound on the relaxation time of spin systems.

Extending Noether's theorem by quantifying the asymmetry of quantum states.

Noether's theorem is a fundamental result in physics stating that every symmetry of the dynamics implies a conservation law. It is, however, deficient in several respects: for one, it is not applicable to dynamics wherein the system interacts with an environment; furthermore, even in the case where the system is isolated, if the quantum state is mixed then the Noether conservation laws do not capture all of the consequences of the symmetries. Here we address these deficiencies by introducing measures of the extent to which a quantum state breaks a symmetry. Such measures yield novel constraints on state transitions: for nonisolated systems they cannot increase, whereas for isolated systems they are conserved. We demonstrate that the problem of finding non-trivial asymmetry measures can be solved using the tools of quantum information theory. Applications include deriving model-independent bounds on the quantum noise in amplifiers and assessing quantum schemes for achieving high-precision metrology.

Quantum error suppression with commuting Hamiltonians: two local is too local.

We consider error suppression schemes in which quantum information is encoded into the ground subspace of a Hamiltonian comprising a sum of commuting terms. Since such Hamiltonians are gapped, they are considered natural candidates for protection of quantum information and topological or adiabatic quantum computation. However, we prove that they cannot be used to this end in the two-local case. By making the favorable assumption that the gap is infinite, we show that single-site perturbations can generate a degeneracy splitting in the ground subspace of this type of Hamiltonian which is of the same order as the magnitude of the perturbation, and is independent of the number of interacting sites and their Hilbert space dimensions, just as in the absence of the protecting Hamiltonian. This splitting results in decoherence of the ground subspace, and we demonstrate that for natural noise models the coherence time is proportional to the inverse of the degeneracy splitting. Our proof involves a new version of the no-hiding theorem which shows that quantum information cannot be approximately hidden in the correlations between two quantum systems. The main reason that two-local commuting Hamiltonians cannot be used for quantum error suppression is that their ground subspaces have only short-range (two-body) entanglement.